Generalized algebraic data type - PDFSEARCH.IO - Document Search Engine

Generalized algebraic data type
Results: 55

#	Item
51	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2005-09-18 16:08:18 Type theory Data types Aspect-oriented software development Aspect-oriented programming Procedural programming languages Standard ML Type system Type inference Generalized algebraic data type Software engineering Computing Software development
52	PDF Document Add to Reading List Source URL: kar.kent.ac.uk Language: English - Date: 2011-06-28 08:01:40 Functional programming Data types Type theory Functional languages Glasgow Haskell Compiler Haskell Generalized algebraic data type Code refactoring Yi Software engineering Computing Computer programming
53	PDF Document Add to Reading List Source URL: sites.google.com Language: English Software engineering Programming language theory Functional programming Type systems Program analysis Generalized algebraic data type Type inference Algebraic data type Algorithm Type theory Mathematics Data types
54	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-12-10 15:02:11 Computing Type system Generalized algebraic data type System F Type inference Lambda calculus ML Programming language Subtype polymorphism Type theory Software engineering Programming language theory
55	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-12-29 03:26:05 Software engineering Generalized algebraic data type Type system Type inference Entailment Type safety Natural deduction Symbol Type theory Logic Programming language theory